From 4c1b84163ec5c7f7fdb02290aa686a456cc8ec72 Mon Sep 17 00:00:00 2001 From: "kaf24@firebug.cl.cam.ac.uk" Date: Fri, 13 Jan 2006 11:38:33 +0100 Subject: [PATCH] Fix non-debug build. Signed-off-by: Keir Fraser --- xen/common/sched_bvt.c | 4 ---- 1 file changed, 4 deletions(-) diff --git a/xen/common/sched_bvt.c b/xen/common/sched_bvt.c index 0a0f30d1a3..df329dd982 100644 --- a/xen/common/sched_bvt.c +++ b/xen/common/sched_bvt.c @@ -207,12 +207,8 @@ static int bvt_alloc_task(struct vcpu *v) */ static void bvt_add_task(struct vcpu *v) { - struct bvt_dom_info *inf = BVT_INFO(v->domain); struct bvt_vcpu_info *einf = EBVT_INFO(v); - ASSERT(inf != NULL); - ASSERT(v != NULL); - /* Allocate per-CPU context if this is the first domain to be added. */ if ( CPU_INFO(v->processor) == NULL ) { -- 2.30.2